$M$.ds($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}cap($M$.1;IdDeq;$x$;Top)